#include <stdio.h>

int p;
p=0;

void user_do_ping_spg (int *v)
{
        printf ("*** SENDING PING *** %d\n", p);
        *v=p;
        p++;
        fflush (stdout);
}

void user_ping_spg (int i)
{
        printf ("*** PING *** %d\n" ,i);
        fflush (stdout);
}
